Declarative programming - PDFSEARCH.IO - Document Search Engine

Declarative programming
Results: 415

#	Item
81	Supero: Making Haskell Faster Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software engineering Computer programming Declarative programming Higher-order functions Programming language comparisons Fold Recursion Haskell Tak Map Haskell features
82	Supero: Making Haskell Faster Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software engineering Computer programming Declarative programming Higher-order functions Programming language comparisons Functional languages Recursion Literate programming Fold Haskell Map XS
83	c ACM, 2009. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of the Haskell Sym Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software engineering Declarative programming Computer programming Lambda calculus Functional programming Subroutines Formal methods Theoretical computer science Combinatory logic Let expression Lambda lifting Anonymous function
84	A Supercompiler for Core Haskell Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy ev Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software engineering Mathematics Declarative programming Lambda calculus Functional programming Functions and mappings Let expression Embedding Monad Anonymous function
85	Supero: Making Haskell Faster Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy evalu Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software engineering Computer programming Declarative programming Functional programming Lambda calculus Subroutines Functional languages Literate programming Monad Let expression Glasgow Haskell Compiler Anonymous function
86	Optimizing Rakudo Perl 6 Jonathan Worthington OH HAI Add to Reading List Source URL: jnthn.net Language: English - Date: 2014-10-21 09:51:20 Perl 6 Cross-platform software High-level programming languages Scripting languages Rakudo Perl 6 Perl VM Executable Declarative programming
87	Deriving a Relationship from a Single Example Neil Mitchell Abstract Given an appropriate domain specific language (DSL), it is possible Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software engineering Computer programming Declarative programming Functional programming Data types Type theory Programming language comparisons Functional languages Monad Generic programming Type class Algebraic data type
88	A Brief Presentation of OCaml Simon Cruanes September 14, 2015 Simon Cruanes Add to Reading List Source URL: cedeela.fr Language: English - Date: 2015-09-14 19:32:23 Software engineering Computer programming Declarative programming Functional languages Functional programming Type theory Procedural programming languages OCaml Caml Standard ML Type variable Immutable object
89	xpanda Table of contents Introduction......................................................................................................................................1 Usage........................................ Add to Reading List Source URL: potassco.sourceforge.net Language: English - Date: 2012-10-22 07:00:02 Mathematics Constraint programming Declarative programming Software engineering Formal methods Theoretical computer science Lambda calculus Syntax Variable HindleyMilner type system Constraint logic programming Local consistency
90	Euclase: A Live Development Environment with Constraints and FSMs Stephen Oney, Brad A. Myers Joel Brandt Add to Reading List Source URL: liveprogramming.github.io Language: English - Date: 2013-05-19 19:35:21 Software engineering Computing Computer programming Programming paradigms Technical communication Constraint programming Declarative programming Eval Programming language Design Usability APL

UPDATE